例文
- Every sequentially compact space is countably compact, and every first-countable, countably compact space is sequentially compact.
- It is almost trivial to prove that the product of two sequentially compact spaces is sequentially compact one passes to a subsequence for the first component and then a subsubsequence for the second component.